منابع مشابه
Viewpoint consistency in ODP a general interpretation
Multiple viewpoints are used in Open Distributed Processing ODP in order to de compose the complexity inherent in specifying distributed systems Multiple viewpoints prompt the issue of consistency between viewpoints The ODP reference model alludes to three di erent interpretations of consistency This paper responds to this uncertainty by proposing a single all embracing interpretation of consis...
متن کاملFrom ODP viewpoint consistency to Integrated Formal Methods
Questions asked by research into ODP Viewpoint Consistency led to fundamental questions in refinement and contributed greatly to insights and interest in Integrated Formal Methods; research in those areas is still ongoing, while the answers provided remain largely unincorporated into model driven development. In this paper we survey some of the work done on consistency checking for multiple vie...
متن کاملUse Case from the ODP Viewpoint
Discussion of use cases and UML often focuses on the UML use case diagram. Use case diagrams are contrasted (usually unfavorably) with text use cases. But specification of use cases with UML is not limited to the use case diagram. In fact UML 2 includes a variety of expressive techniques for specifying a use case. This article looks at UML use cases from the ODP viewpoint, and describes UML use...
متن کاملSpecifying the ODP Information Viewpoint using Maude
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibility of using Maude as a formal notation for writing and reasoning about RM-ODP information specifications.
متن کاملAction Templates and Causalities in the ODP Computational Viewpoint
The RM-ODP is a reference model that provides a coordinating framework for Open Distributed Processing standards, and offers a well-defined and comprehensive set of concepts and functions for the specification of ODP systems. Some years after its release as International Standard, an ISO Study Group will evaluate the need for a revision of RM-ODP, a customary process for ISO standards. The goal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Networks
سال: 2000
ISSN: 1389-1286
DOI: 10.1016/s1389-1286(00)00114-6